Using UML Environment Models for Test Case Generation
نویسندگان
چکیده
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to illustrate the method.
منابع مشابه
A Survey on Test Case Generation from UML Model
Testing is an important phase of software development, to maintain the quality control and reliability of the end products. Recent approach has been taken by the researcher to use UML models for test case generation. Various works has been done on test case generation for concurrent and nonconcurrent systems. In case of concurrent system group of activities are executed simultaneously where as ...
متن کاملBlack-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing
Testing real-time embedded systems (RTES) is in many ways challenging. Thousands of test cases can be potentially executed on an industrial RTES. Given the magnitude of testing at the system level, only a fully automated approach can really scale up to test industrial RTES. In this paper we take a black-box approach and model the RTES environment using the UML/MARTE international standard. Our ...
متن کاملAutomatic Test Case Generation from UML Models and OCL Expressions
In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.
متن کاملAutomated Test Case Generation using Petri Nets
Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifi...
متن کاملA Specification-Based Test Case Generation Method for UML/OCL
Automated test data generation is an important method for the verification and validation of UML/OCL specifications. In this paper, we present an extension of DNF-based test case generation methods to class models and recursive query operations on them. A key feature of our approach is an implicit representation of object graphs avoiding a representation based on object-id’s; thus, our approach...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008